منابع مشابه
Hyperresolution for Guarded Formulae
This paper investigates the use of hyperresolution as a decision procedure and model builder for guarded formulae. In general hyperresolution is not a decision procedure for the entire guarded fragment. However we show that there are natural fragments which can be decided by hyperresolution. In particular, we prove decidability of hyperresolution with or without splitting for the fragment GF1− ...
متن کاملMatricial Formulae for Partitions
X iv :0 80 6. 12 73 v1 [ m at h. N T ] 7 J un 2 00 8 MATRICIAL FORMULAE FOR PARTITIONS F. AICARDI Abstract. The exponential of the triangular matrix whose entries in the diagonal at distance n from the principal diagonal are all equal to the sum of the inverse of the divisors of n is the triangular matrix whose entries in the diagonal at distance n from the principal diagonal are all equal to t...
متن کاملTitle : Inferring node dates from tip dates in fossil
Tip-dating methods are becoming popular alternatives to traditional node calibration approaches for building time-scaled phylogenetic trees, but questions remain about their application to empirical datasets. We compared the performance of the most popular methods against a dated tree of fossil Canidae derived from . CC-BY-NC-ND 4.0 International license peer-reviewed) is the author/funder. It ...
متن کاملFormulae for Insect Wingbeat Frequency
A formula is developed connecting the wingbeat frequency of insects with their masses and wing areas. It is derived first theoretically, using dimensional analysis, and then it is compared with published measurements. The formula discovered involves two parameters which dimensional analysis alone cannot determine. One of these is evaluated using one among many proposed semi-empirical relationsh...
متن کاملAsymptotic Formulae for Partition Ranks
Using an extension of Wright’s version of the circle method, we obtain asymptotic formulae for partition ranks similar to formulae for partition cranks which where conjectured by F. Dyson and recently proved by the first author and K. Bringmann.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1920
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.51.1327.568-a